#include "rtconfig.h"
#include "sdcard.h"

void rt_platform_init(void)
{
#ifdef RT_USING_SDCARD
    rt_hw_sdcard_init();
#endif
    w25qxx_init("flash0", "spi50");
}
